COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	reify[f86,jmc]		More on reification
C00003 ENDMK
C⊗;
reify[f86,jmc]		More on reification

The difficulty arises because our language can't yet say something
like "The gun became unloaded for an unknown reason" or "I don't
know why the gun became unloaded".

This database allows us to infer that the gun became unloaded, but
it does not allow us to determine why.

¬knows(John, Cause(Became(Unloaded)))

On looking at a database, we must be able to distinguish
between P(a) and ∃x.P(x).

Another approach is to be able to say P(a) ∧ ¬known(a).
This involves making concepts the basic objects.